$\forall$$M$:(IdLnk$\rightarrow$Id$\rightarrow$Type), $l$:IdLnk, $m$:Msg($M$). haslink($l$;$m$) $\in$ Prop